package model;

import java.io.Serializable;
import java.util.ArrayList;

public class Afd implements Serializable{
	private ArrayList<State> states;
	private ArrayList<Symbol> symbols;
	private ArrayList<Transition> transitions;
	private State initialState;
	private ArrayList<State> finalStates;
	
	public Afd(ArrayList<State> states, ArrayList<Symbol> symbols,
			ArrayList<Transition> transitions, State initialState,
			ArrayList<State> finalStates) {
		super();
		this.states = states;
		this.symbols = symbols;
		this.transitions = transitions;
		this.initialState = initialState;
		this.finalStates = finalStates;
	}

	@Override
	public String toString() {
		return "Afd [states=" + states + ", symbols=" + symbols
				+ ", transitions=" + transitions + ", initialState="
				+ initialState + ", finalStates=" + finalStates + "]";
	}

	public ArrayList<State> getStates() {
		return states;
	}

	public void setStates(ArrayList<State> states) {
		this.states = states;
	}

	public ArrayList<Symbol> getSymbols() {
		return symbols;
	}

	public void setSymbols(ArrayList<Symbol> symbols) {
		this.symbols = symbols;
	}

	public ArrayList<Transition> getTransitions() {
		return transitions;
	}

	public void setTransitions(ArrayList<Transition> transitions) {
		this.transitions = transitions;
	}

	public State getInitialState() {
		return initialState;
	}

	public void setInitialState(State initialState) {
		this.initialState = initialState;
	}

	public ArrayList<State> getFinalStates() {
		return finalStates;
	}

	public void setFinalStates(ArrayList<State> finalStates) {
		this.finalStates = finalStates;
	}
	

}